我们提出了两类模糊\ l ukasiewicz逻辑的Doxastic扩展,相对于某些适当的基于Kripke的模型,它们是合理而完整的,在这些模型中,原子命题和可访问性关系都是模糊的。这些扩展中的一类配备了具有类似经典信念的属性的伪古典信念,而另一个类是基于一种新的信念概念,我们称其为\ textit {textit {tokeTical}信念。我们使用伪古典信念和使用怀疑的信念进行CPA安全实验来对泥泞的儿童问题进行模糊版本,然后通过证明伪经典信念不适合模仿CPA实验中对手的信念证明提出持怀疑态度的概念是合理的。此外,我们证明了某些提出的Doxastic扩展的声音和完整定理。
translated by 谷歌翻译